1.
Rigorous Software Development : An Introduction to Program Verification
by Almeida, José Bacelar, Fra...
ISBN: 9780857290175
List Price: $39.95
2.
Portuguese and the Straits of Melaka, 1575-1619 : Power, Trade and Diplomacy
by Jorge de, Paulo, Pinto, Sousa
ISBN: 9789971695705
OUT OF STOCK
See Availability on Amazon3.
Rigorous Software Development
by Almeida, Jos Bacelar, Frade...
ISBN: 9780857290199
List Price: $24.99